Nuprl Definition : init-p
0,22
postcript
pdf
@
i
x
initially
v
:
T
== vartype(
i
;
x
)
T
&
x
initially@
i
=
v
latex
clarification:
init-p(
es
;
i
;
T
;
x
;
v
) == es-vartype(
es
;
i
;
x
)
T
& es-initially(
es
;
i
;
x
) =
v
T
latex
Definitions
A
&
B
,
vartype(
i
;
x
)
,
s
=
t
,
x
initially@
i
FDL editor aliases
init-p
origin
T & x initially@i = v
T & es-initially(es;i;x) = v 
T T & x initially@i = v
T & es-initially(es;i;x) = v T